Proof: T Is Injective T Is Surjective Rank